$\forall$$k$:Knd, $l$:IdLnk. isrcvl($l$;$k$) $\in$ $\mathbb{B}$